Update regexp in BUGS.
authorGlenn Morris <rgm@gnu.org>
Mon, 21 May 2012 19:32:04 +0000 (15:32 -0400)
committerGlenn Morris <rgm@gnu.org>
Mon, 21 May 2012 19:32:04 +0000 (15:32 -0400)
commit9216d5db5960eb55626910eb67985a19c3184dd8
treebfa60d2089fc042cbef93c1dd1e2b54b60d63dd2
parentfb0ef6ba852a9379671ca4b6d70636b671e1207c
Update regexp in BUGS.
BUGS